All Classes

Class	Description
Action	Represents each of the possible actions an agent can take in the Wumpus World.
Agent	Represents a player in "Hunt the Wumpus."
BooleanExpression	The superclass of all Boolean logical expressions.
Conjunction	Represents an expression with 1 or more conjuncts which must all be true.
Console
ConsoleInput
Constant	Represents a specific thing in the logical universe.
Continuation<T>	A continuation, sometimes called a generator, is like a function which can return multiple values in sequence.
Disjunction	Represents an expression with 1 or more disjuncts, at least one of which must be true.
Expression	An expression is any logical formula with a truth value.
Fact	A fact is an individual atomic logical statement in function-free predicate logic.
Formula	Represents the superclass of all logical formulas.
Game	Represents the current state of a game of "Hunt the Wumpus."
GamePanel
HumanAgent	An implementation of Agent that allows a human to play the game by typing commands into the console.
Images
KnowledgeBase	A knowledge base is a collection of facts and rules that describe a logical universe.
LogicAgent	An artificially intelligent agent which uses logical reasoning based on observations to decide which squares are safe to visit.
Main	Starts a new game of "Hunt the Wumpus".
NAryBooleanExpression	The superclass of any Boolean expression with multiple arguments.
Negation	Represents an expression whose opposite is true.
Path	Utility methods for navigating paths though the Wumpus World.
Prover<E extends Expression>	A prover is a Continuation used to find all the ways that a given logical expression can be proved true.
Result	Describes the result of a single action taken by the player, including any new information gained.
Rule	A rule is a logical axiom used deduce new information.
Settings	Settings for the game.
Term	The superclass of all logical expression representing specific things in the universe.
Unifier	A unifier tracks which variable are equal to one another and which variable are equal to constants.
Variable	Represents a place-holder term which can be bound to any constant.
WumpusFrame
WumpusPanel
WumpusWorld	A utility class for providing the initial Wumpus World knowledge base.